Smart grids are rolling out internationally, with the United States nearing completion of a significant USD4-plus-billion federal program funded under the American Recovery and Reinvestment Act. The emergence of smart grids is widespread across developed countries. Multiple approaches to analyzing the benefits of smart grids have emerged. The goals of this white paper are to review these approaches and analyze examples of each to highlight their differences, advantages, and disadvantages. This work was conducted under the auspices of a joint U.S.-China (...) research effort, the Climate Change Working Group Implementation Plan, Smart Grid. We present comparative benefits assessments of smart grid demonstrations in the U.S. and China along with a BA of a pilot project in Europe. In the U.S., we assess projects at two sites: the University of California, Irvine campus, which consists of two distinct demonstrations: Southern California Edison’s Irvine Smart Grid Demonstration Project and the UCI campus itself; and the Navy Yard area in Philadelphia, which has been repurposed as a mixed commercial-industrial, and possibly residential, development. In China, we cover several smart-grid aspects of the Sino-Singapore Tianjin Eco-city and the Shenzhen Bay Technology and Ecology City. In Europe, we look at a BA of a pilot smart grid project in the Malagrotta area west of Rome, Italy, contributed by the Joint Research Centre of the European Commission. The Irvine sub-project BAs use the U.S. Department of Energy Smart Grid Computational Tool, which is built on methods developed by the Electric Power Research Institute. The TEC sub-project BAs apply Smart Grid Multi-Criteria Analysis developed by the State Grid Corporation of China based on the analytic hierarchy process with fuzzy logic. The B-TEC and TNY sub-project BAs are evaluated using new approaches developed by those project teams. JRC has adopted an approach similar to EPRI’s but tailored to the Malagrotta distribution grid. (shrink)

Human personality influences the way people interact with dogs. This study investigated the associations between the personality of animal shelter volunteers and behavior during on-leash walks with shelter dogs. Video recording and a canine leash tension meter were used to monitor the on-leash walking. Personality was measured in five dimensions with the NEO Five-Factor Inventory. Neurotic volunteers pulled the leash harder and tended to interact with dogs using more body language; dogs being walked by neurotic volunteers in turn displayed more (...) lip-licking and body shaking and were more likely to be rated as well-behaved. Extroverted volunteers were associated with stronger maximal leash tension at both the human and dog ends of the leash, and they praised the dog more, often in a high pitched voice. These volunteers eliciting more tail-wagging and body shaking by the dog. Extroverted volunteers were also more tolerant of different dog behaviors. Volunteers with personalities characterized by “openness to experiences” were less likely to verbally attract the attention of dogs, praise dogs and talk to them in a high-pitched voice; however, dogs walked by these volunteers were more likely to pull on the leash, and engaged in more lip-licking but less sniffing. “Agreeable” volunteers liked to verbally attract the attention of the dogs and more commonly initiated hand gestures and physical contact, causing the dogs to pull less frequently; dogs in these dyads displayed more gazing and lip-licking behaviors. Conscientious volunteers were less likely to pull the leash and tended to have more physical contact with the dogs but did not favor verbal communication and did not use a high pitched voice. (shrink)

This book's importance is derived from three sources: careful conceptualization of teacher induction from historical, methodological, and international perspectives; systematic reviews of research literature relevant to various aspects of teacher induction including its social, cultural, and political contexts, program components and forms, and the range of its effects; substantial empirical studies on the important issues of teacher induction with different kinds of methodologies that exemplify future directions and approaches to the research in teacher induction.

This paper proposes the modified generalization of the HSS to solve a large and sparse continuous Sylvester equation, improving the efficiency and robustness. The analysis shows that the MGHSS converges to the unique solution of AX + XB = C unconditionally. We also propose an inexact variant of the MGHSS and prove its convergence under certain conditions. Numerical experiments verify the efficiency of the proposed methods.

In evaluating science, philosophers tends to focus on general laws and on their truth. I urge a shift in focus to the reliability of the panoply of outputs science produces and in tandem, from the general to the particular. Here I give five arguments to support this, including many, many scientific outputs, which must be supposed reliable if we are to warrant our general principles, aren’t truth-apt; and reliability invites the crucial question, ‘Reliable for what?’ Getting clear the particular purpose (...) is essential for effective action and just evaluation. (shrink)

This article demonstrates that Ibn Sīnā’s theory of experience (taǧriba) requires a cross-reference between logic and psychology. Following the Basran linguistic tradition, he paraphrases derived names (ism muštaqq) into the li-x y formula: for example, ʿālim (“knowing”) is paraphrased into lahu ʿilm (“an act of knowing belongs to him”). His theory of experience employs this formula for arranging observed phenomena into a certain form of a syllogism and describing functions of the brain’s inner senses. Ibn Sīnā arranges observed phenomenon into (...) the li-x y formula or the proposition of which a predicate is a derived name of y. Meanwhile, he holds that the sense of recollection is involved in the process of experience. Recollection is an inner sense of the brain, which preserves maʿnā perceived by the sense of estimation. Estimation means to perceive maʿnā (y) that inheres in a subject (x), and to make a judgment about x based on y. Thus, in this process, the analysis of derived names arranges observed phenomena into a rational order, and the inner sense establishes the causation between apprehension and logical assertion. The article concludes by discussing the relation of this philosophy to medicine. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:The Philosophy of Simone de Beauvoir: Gendered Phenomenologıes, Erotic Generosities by Debra B. Bergoffen, Sex and Existence: Simone de Beauvoir’s ‘The Second Sex’ by Eva Lundgren-Gothlin, Beauvoir and The Second Sex: Feminism, Race, and the Origins of Existentialism by Margaret A. Simons, Philosophy as Passion: The Thinking of Simone de Beauvoir by Karen VintgesNancy BauerDebra B. Bergoffen. The Philosophy of Simone de Beauvoir: Gendered Phenomenologıes, Erotic Generosities. Albany: (...) State University of New York Press, 1997. Pp. x + 250. Cloth, $54.50.Eva Lundgren-Gothlin. Sex and Existence: Simone de Beauvoir’s ‘The Second Sex.’ Hanover, NH: Wesleyan University Press and University Press of New England, 1996. Pp. xii + 329. Paper, $19.95.Margaret A. Simons. Beauvoir and The Second Sex: Feminism, Race, and the Origins of Existentialism. Lanham, MD: Rowman & Littlefield, 1999. Pp. xx + 263. Cloth, $25.95.Karen Vintges, Philosophy as Passion: The Thinking of Simone de Beauvoir. Bloomington: Indiana University Press, 1996. Pp. xii + 202. Paper, $19.95.Anyone who is seriously interested in Simone de Beauvoir’s place in the history of philosophy must contend sooner or later with the fact that she denied, repeatedly and vehemently throughout her lifetime, that she was a philosopher. Of course, a certain species of Beauvoir-detractor will be tempted to take these denials at face value, especially since they almost always went hand in hand with Beauvoir’s plausible-sounding [End Page 688] declarations that anything philosophical about her work could be traced to the thinking of her lifelong companion Jean-Paul Sartre, who, she underscored, was the “real” philosopher in their relationship. But the very strength and frequency of her abjurations of the title of philosopher is a sign that, like Freud, Beauvoir (who wrote several straightforwardly philosophical essays, including the monograph-length Ethics of Ambiguity and Pyrrhus et Cınéas) was motivated not so much by modesty or self-abnegation but by a desire to distance herself from what counted, at least in the middle of this century, as philosophy.For most of the past 50 years, English-speaking readers of Beauvoir have simply accepted her portrayal of her relationship to philosophy. On the ordinary view, The Second Sex, while an important historical touchstone for “feminist theory” is not, or not quite, a philosophical piece of writing, and those of her publications that merit that title are mere apologetics for Sartrean existentialism. But in the years since Beauvoir’s death in 1986 allowed for the release of her voluminous and revealing letters to Sartre, more and more feminist philosophers have been taking a second look at The Second Sex and Beauvoir’s other essays and fiction as they try to engage productively both with non-academic feminist work and with the philosophical mainstream. As a result, the difficult question of just how to assess Beauvoir’s relationship both to philosophy in general and to Sartre in particular has become pressing and is at the center of the four books under review here.The authors of these books are each committed, in their own sometimes strikingly different ways, to two theses: first, that to understand Beauvoir’s place in the history of philosophy one must study her appropriations of the work of philosophers other than just Sartre and, second, that at the heart of Beauvoir’s enterprise in all of her work is a desire to think about how to create and sustain reciprocity between an existentially committed self and an equally autonomous other.The most historically oriented and, on my view, meticulous exploration of Beauvoir’s relationship to her philosophical influences is Lundgren-Gothlin’s superb Sex and Exıstence, which chronicles Beauvoir’s indebtedness to and interest in, especially, Hegel and Marx. Lundgren-Gothlin, a philosophically trained Swedish intellectual historian, shows decisively that one cannot make philosophical sense of The Second Sex as long as one reduces its philosophical dimension to boilerplate Sartreanism. Indeed, given Sartre’s antipathy toward Marx and his ambivalence about Hegel in Beıng and Nothingness, Lundgren-Gothlin’s work raises serious questions about the extent to which Beauvoir’s considered views in The Second Sex are even compatible with those of the early... (shrink)

Let X, Y be Polish spaces,,. We say A is universal for Γ provided that each x‐section of A is in Γ and each element of Γ occurs as an x‐section of A. An equivalence relation generated by a set is denoted by, where. The following results are shown: If A is a set universal for all nonempty closed subsets of Y, then is a equivalence relation and. If A is a set universal for all countable subsets of Y, then (...) is a equivalence relation, and and ; if, then ; if every set is Lebesgue measurable or has the Baire property, then. for, if every set has the Baire property, and E is any equivalence relation, then. (shrink)

Yu, X., Riesz representation theorem, Borel measures and subsystems of second-order arithmetic, Annals of Pure and Applied Logic 59 65-78. Formalized concept of finite Borel measures is developed in the language of second-order arithmetic. Formalization of the Riesz representation theorem is proved to be equivalent to arithmetical comprehension. Codes of Borel sets of complete separable metric spaces are defined and proved to be meaningful in the subsystem ATR0. Arithmetical transfinite recursion is enough to prove the measurability of Borel sets for (...) any finite Borel measure on a compact complete separable metric space. (shrink)

Computably Lipschitz reducibility , was suggested as a measure of relative randomness. We say α≤clβ if α is Turing reducible to β with oracle use on x bounded by x+c. In this paper, we prove that for any non-computable real, there exists a c.e. real so that no c.e. real can cl-compute both of them. So every non-computable c.e. real is the half of a cl-maximal pair of c.e. reals.

This study examines Nǐ yìsi shì X ‘Your Meaning is X’ as a practice of doing other-initiation in Mandarin conversations, focusing on how it addresses different sources of troubles systematically in informing sequences. It is found that while ‘Nǐ yìsi shì’ signals the speaker’s having trouble with the prior informing turn, ‘X’ is deployed to locate different aspects of the trouble source, being shaped by how an informing emerges in talk-in-interaction. Specifically, when following a volunteered informing, ‘X’ is usually built (...) to clarify specific words or phrases in preceding informing, thereby treating a certain element as underspecified or ambiguous. However, when following a question-solicited informing, ‘X’ is typically constructed to work out what the provided information exactly conveys, indicating the whole informing turn/action is in some way problematic, inappropriate, or inapposite. In both cases, ‘Nǐ yìsi shì X’ serves as an OI, working to target different kinds of the trouble source, and simultaneously proposes a potential solution to it. (shrink)

Mauldin [15] proved that there is an analytic set, which cannot be represented by $B\cup X$ for some Borel set B and a subset X of a $\boldsymbol{\Sigma }^0_2$ -null set, answering a question by Johnson [10]. We reprove Mauldin’s answer by a recursion-theoretical method. We also give a characterization of the Borel generated $\sigma $ -ideals having approximation property under the assumption that every real is constructible, answering Mauldin’s question raised in [15].

This article examines how modern Chinese Buddhism has been influenced by Christianity. For our purposes ‘modern Chinese Buddhism’ refers to a form of what has become known in the West as ‘Engaged Buddhism’, but in Chinese is known by titles which can be translated ‘Humanistic Buddhism’ or ‘Buddhism for Human Life’. This tradition was initiated on the Chinese mainland between the two World Wars by the monk Tài X?, and Part one of the article is devoted to him. Since the (...) communist conquest of China, its main branches have flourished in Taiwan, whence two of them have spread worldwide. The most successful, at least in numerical terms, has been Fo Guang Shan, founded by a personal disciple of Tài X?, Hsing Yun, now very old, and it is on this movement that we concentrate in Parts two and three. We differentiate between conscious imitation and analogous development due to similar social circumstances, and show how Protestant Christianity and Roman Catholicism have had different effects. In Part four, we examine Fo Guang Shan as a missionary religion. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

We show that a computable function $f:\mathbb R\rightarrow \mathbb R$ has Luzin’s property if and only if it reflects $\Pi ^1_1$ -randomness, if and only if it reflects $\Delta ^1_1$ -randomness, and if and only if it reflects ${\mathcal {O}}$ -Kurtz randomness, but reflecting Martin–Löf randomness or weak-2-randomness does not suffice. Here a function f is said to reflect a randomness notion R if whenever $f$ is R-random, then x is R-random as well. If additionally f is known to have (...) bounded variation, then we show f has Luzin’s if and only if it reflects weak-2-randomness, and if and only if it reflects $\emptyset '$ -Kurtz randomness. This links classical real analysis with algorithmic randomness. (shrink)

In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov’s original four axioms within an intuitively simple, but strictly formal, first-order logic framework, (...) and convert his basic background assumptions into explicit axioms. Instead of assuming that the structure of physical quantities is the field of real numbers, we assume only that they form an ordered field. This allows us to investigate how Borisov’s theorem depends on the structure of quantities. We demonstrate (as our main contribution) how to construct Euclidean, Galilean, and Poincaré models of Borisov’s axiom system over every non-Archimedean field. We also demonstrate the existence of an infinite descending chain of models and transformation groups in each of these three cases, something that is not possible over Archimedean fields. As an application, we note that there is a model of Borisov’s axioms that satisfies the relativity principle, and in which the worldview transformations are Euclidean isometries. Over the field of reals it is easy to eliminate this model using natural axioms concerning time’s arrow and the absence of instantaneous motion. In the case of non-Archimedean fields, however, the Euclidean isometries appear intrinsically as worldview transformations in models of Borisov’s axioms and neither the assumption of time’s arrow, nor the rejection of instantaneous motion, can eliminate them. (shrink)

The present study examined the endogenous release of luteinizing hormone-releasing hormone (LHRH) from superfused hypothalamic slices derived from Korean native cattie (KNC). In addition, the in vitro secretory pattern of LHRH release in '(NC was compared with that in imported cattle such as Holstein cow. The median eminences (ME) of hypothalamic tissues were dissected out, sliced, and quickly placed in an ice-cold superfusion chamber. Superfusion chambers containing ME slices were maintained in a constant temperature water-bath at 37∘C. Effluents were collected (...) on the ice at 10 min intervals for a 4 hr superfusion period and kept -20∘C prior to LHRH radioimmunoassay. LHRH release was analyzed by the PULSAR algorithm. The spontaneous release of LHRH from both cows was episodic during a 4 hr superfusion period. The mean LHRH release, pulse amplitude and pulse interval m KNC were 11.08± 1.50 pg/min/mg x 10-2, 21.43 1 7.28 pg/mg x 10-2, and 39.42 ± 3.08 min, which was quite similar to those observed in Holstein cows. The basic characteristics of the LHRH pulse generator of KNC appear important for a better understanding about the endocrine function of KNC. (shrink)

A real x is -Kurtz random if it is in no closed null set . We show that there is a cone of -Kurtz random hyperdegrees. We characterize lowness for -Kurtz randomness as being -dominated and -semi-traceable.

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms (...) of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructed. (shrink)

This paper proposes a revision of our understanding of causation that is designed to address what Hartry Field has suggested is the central problem in the metaphysics of causation today: reconciling Bertrand Russell’s arguments that the concept of causation can play no role in the advanced sciences with Nancy Cartwright’s arguments that causal concepts are essential to a scientific understanding of the world. The paper shows that Russell’s main argument is, ironically, very similar to an argument that Cartwright has (...) put forward against the truth of universal laws of nature. The paper uses this insight to develop an account of causation that does justice to traditional views yet avoids the arguments of Russell. (shrink)

We prove that the continuous function${\rm{\hat \Omega }}:2^\omega \to $ that is defined via$X \mapsto \mathop \sum \limits_n 2^{ - K\left} $ for all $X \in {2^\omega }$ is differentiable exactly at the Martin-Löf random reals with the derivative having value 0; that it is nowhere monotonic; and that $\mathop \smallint \nolimits _0^1{\rm{\hat{\Omega }}}\left\,{\rm{d}}X$ is a left-c.e. $wtt$-complete real having effective Hausdorff dimension ${1 / 2}$.We further investigate the algorithmic properties of ${\rm{\hat{\Omega }}}$. For example, we show that the maximal (...) value of ${\rm{\hat{\Omega }}}$ must be random, the minimal value must be Turing complete, and that ${\rm{\hat{\Omega }}}\left \oplus X{ \ge _T}\emptyset \prime$ for every X. We also obtain some machine-dependent results, including that for every $\varepsilon > 0$, there is a universal machine V such that ${{\rm{\hat{\Omega }}}_V}$ maps every real X having effective Hausdorff dimension greater than ε to a real of effective Hausdorff dimension 0 with the property that $X{ \le _{tt}}{{\rm{\hat{\Omega }}}_V}\left$; and that there is a real X and a universal machine V such that ${{\rm{\Omega }}_V}\left$ is rational. (shrink)